Automatic Generation of Failure Scenarios for SoC

International audienceAs process technology downscales, testing difficulties and susceptibility of circuits to random hardware faults arise. This trend, combined with increasing complexity of functions to be performed by Systems-on-Chip, poses crucial concerns when system engineers have to quantify the dependability achieved by their SoC design. In this paper we propose an extension of the existing approaches to the fault analysis of SoCs describing (1) an algorithm for the automatic generation of failure scenarios based on Bounded Model Checking (BMC) (2) a methodology and Simulink-based tool for the automatic execution of SoC safety analysis and (3) an application of the proposed analysis flow to a concrete SoC use case

DesyreML: a SysML profile for heterogeneous embedded systems

International audienceWe propose a novel language for the formal description of heterogeneous embedded systems (DesyreML). As the main contribution, the language is formally described in terms of semantics and concrete syntax based on the SysML language. We define the concept of thick connector to allow for heterogeneous components communication and computation for multiple semantic domains (synchronous reactive, continuous time, discrete time, discrete-event). As technological application, a verification flow based on model-transformation techniques is described showing the use of an enriched version of the SystemC-AMS simulation kernel that is capable of simulating heterogeneous systems containing combinatorial loops. Finally, the language and the analysis flow are applied to a cruise control case study

Simulación numérica aplicada a la interacción agua subterránea-humedales en la Llanura Pampeana, Provincia de Buenos Aires

En la llanura pampeana los cuerpos de agua superficial son parte activa del sistema de flujo del agua subterránea. La laguna La Salada y su área de influencia se ubican en las cercanías de la localidad La Dulce (Provincia de Bs. As.), sobre la divisoria sur de la cuenca del Río Quequén. El objetivo del trabajo es cuantificar la interacción entre los cuerpos de agua de la laguna, acuífero y río y establecer el balance global de masas a través de la modelación numérica. Los resultados de la simulación del flujo muestran en régimen estacionario el comportamiento efluente – influente de la laguna y el flujo de agua subterránea hacia el río. La simulación del régimen transitorio muestra un buen ajuste entre los niveles observados y calculados durante el periodo 2007-2010 en un freatímetro ubicado entre la laguna y el río. Los términos del balance global de masas incluyen precipitación 116 hm3/año, evapotranspiración 82.1 hm3/año, escurrimiento superficial 1.8 hm3/año, evaporación en la laguna 5 hm3/año, recarga del acuífero 16 hm3/año, descarga de agua subterránea a la laguna 6 hm3/año, descarga de agua subterránea al río 9.5 hm3/año y extracción para consumo urbano 0.5 hm3/año. La integración de herramientas numéricas de simulación del flujo con estudios previos de modelación hidrogeoquímica permitió alcanzar resultados consistentes de la evaporación en la laguna con respecto al valor obtenido por el balance hídrico. La metodología utilizada constituye un aporte al abordaje de estudios cuantitativos sobre la interacción aguas subterráneas – aguas superficiales en la llanura pampeana.In the Pampa plain the surface water bodies are integral parts of groundwater flow systems. La Salada wetland is located on the watershed of the Quequén River basin, next to La Dulce town (Buenos Aires Province).The aim of the present study is both to quantify the wetland - aquifer – river interactions and to establish the mass global balance through the numerical modeling. Results of flow simulation in the steady regime show the effluent-influent behavior of the wetland and the discharge of groundwater to the Quequén River. The transient regime shows a noticeable fitness observed between the simulated and the measured values compared to the daily record piezometer (2007-2010). Mass global balance comprise precipitation 116 hm3/year, evapotranspiration 82.1 hm3/year, runoff 1.8 hm3/año, evaporation in the wetland 5 hm3/year, recharge to the aquifer 16 hm3/ year, groundwater discharge to the wetland 6 hm3/ year, groundwater discharge to the river 9.5 hm3/ year y extraction for human consumption 0.5 hm3/ year. The joint tools of numerical simulation of flow and previous studies of hydrogeochemical modeling allow reach similar results for the evaporation in the wetland compared to those from the water balance. The study constitutes a contribution to the assessment of the groundwater – surface water interactions in the Pampa plain

Graminex pollen: phenolic pattern, colorimetric analysis and protective effects in immortalized prostate cells (PC3) and rat prostate challenged with LPS

Prostatitis, a general term describing prostate inflammation, is a common disease that could be sustained by bacterial or non-bacterial infectious agents. The efficacy of herbal extracts with antioxidant and anti-inflammatory effects for blunting the burden of inflammation and oxidative stress, with possible improvements in clinical symptoms, is under investigation. Pollen extracts have been previously reported as promising agents in managing clinical symptoms related to prostatitis. The aim of the present work was to evaluate the protective effects of Graminex pollen (GraminexTM, Deshler, OH, USA), a commercially available product based on standardized pollen extracts, in rat prostate specimens, ex vivo. In this context, we studied the putative mechanism of action of pollen on multiple inflammatory pathways, including the reduction of prostaglandin E2 (PGE2), nuclear factor kappa-light-chain-enhancer of activated B cells (NFB), and malondialdehyde (MDA), whose activities were significantly increased by inflammatory stimuli. We characterized by means of chromatographic and colorimetric studies the composition of Graminex pollen to better correlate the activity of pollen on immortalized prostate cells (PC3), and in rat prostate specimens challenged with Escherichia coli lipopolysaccharide (LPS). We found that Graminex pollen was able to reduce radical oxygen species (ROS) production by PC3 cells and MDA, NFB mRNA, and PGE2 levels, in rat prostate specimens. According to our experimental evidence, Graminex pollen appears to be a promising natural product for the management of the inflammatory components in the prostate

Extracción de objetos en imágenes médicas tridimensionales basada en características texturales

En este trabajo se propone un algoritmo basado en texturas para la segmentación de imágenes médicas tridimensionales. En particular, se utilizan indicadores de textura calculados a partir de estadísticas de segundo orden, recabadas mediante matrices de coocurrencia de niveles de gris. Esta información es utilizada para guiar la evolución de un algoritmo de crecimiento de regiones, que realiza una segmentación inicial restrictiva con la cual es inicializado un modelo de Superficies Activas. El resultado obtenido consiste en un conjunto de mallas de superficie asociadas a los objetos de interés dentro de la imagen. Para estudiar la robustez del método propuesto se realizó un análisis experimental para la segmentación de tumores cerebrales en MRI artificiales y órganos abdominales de CT, obteniendo resultados más que satisfactorios en ambos casos.Sociedad Argentina de Informática e Investigación Operativ

Extracción de objetos en imágenes médicas tridimensionales basada en características texturales

En este trabajo se propone un algoritmo basado en texturas para la segmentación de imágenes médicas tridimensionales. En particular, se utilizan indicadores de textura calculados a partir de estadísticas de segundo orden, recabadas mediante matrices de coocurrencia de niveles de gris. Esta información es utilizada para guiar la evolución de un algoritmo de crecimiento de regiones, que realiza una segmentación inicial restrictiva con la cual es inicializado un modelo de Superficies Activas. El resultado obtenido consiste en un conjunto de mallas de superficie asociadas a los objetos de interés dentro de la imagen. Para estudiar la robustez del método propuesto se realizó un análisis experimental para la segmentación de tumores cerebrales en MRI artificiales y órganos abdominales de CT, obteniendo resultados más que satisfactorios en ambos casos.Sociedad Argentina de Informática e Investigación Operativ

Extracción de objetos en imágenes médicas tridimensionales basada en características texturales

En este trabajo se propone un algoritmo basado en texturas para la segmentación de imágenes médicas tridimensionales. En particular, se utilizan indicadores de textura calculados a partir de estadísticas de segundo orden, recabadas mediante matrices de coocurrencia de niveles de gris. Esta información es utilizada para guiar la evolución de un algoritmo de crecimiento de regiones, que realiza una segmentación inicial restrictiva con la cual es inicializado un modelo de Superficies Activas. El resultado obtenido consiste en un conjunto de mallas de superficie asociadas a los objetos de interés dentro de la imagen. Para estudiar la robustez del método propuesto se realizó un análisis experimental para la segmentación de tumores cerebrales en MRI artificiales y órganos abdominales de CT, obteniendo resultados más que satisfactorios en ambos casos.Sociedad Argentina de Informática e Investigación Operativ

Design, synthesis and preliminary pharmacological evaluation of new imidazolinonesas L-DOPA prodrugs

L-DOPA, the immediate biological precursor of dopamine, is still considered the drug of choice in the treatment of Parkinson's disease. However, therapy with L-DOPA is associated with a number of acute problems. With the aim to increase the bioavailability after oral administration, we designed a multi-protected L-DOPA prodrugs able to release the drug by both spontaneous chemical or enzyme catalyzed hydrolysis. The new compounds have been synthesized and preliminarily evaluated for their water solubility, log P, chemical stability, and enzymatic stability. The results indicate that the incorporation of the amino acidic moiety of L-DOPA into an imidazoline-4-one ring provides prodrugs sufficiently stable to potentially cross unchanged the acidic environment of the stomach, and to be absorbed from the intestine. They also might be able to release L-DOPA in human plasma after enzymatic hydrolysis. The ability of prodrugs 6a-b to increase basal levels of striatal DA, and influence brain neurochemistry associated with dopaminergic activity following oral administration, as well as the radical-scavenging activity against DPPH for compounds 6a-b and 15a are also reported